amsintx.dtx

---